/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

package simhya.model.store.faststore;

import simhya.model.store.Predicate;
import java.util.ArrayList;
import simhya.matheval.SymbolArray;

/**
 *
 * @author Luca
 */
public class ConstantPredicate implements Predicate {
    private boolean value;

    public ConstantPredicate(boolean value) {
        this.value = value;
    }


    public boolean evaluate() {
        return value;
    }

    public boolean evaluate(SymbolArray vars) {
        return value;
    }


    public ArrayList<Integer> getVariableList() {
        return new ArrayList<Integer>();
    }

    public void initialize() {  }

    
    public boolean isContradiction() {
        return !value;
    }

    public boolean isTautology() {
        return value;
    }
    
}
